Relevant Categories and Partial Functions
نویسندگان
چکیده
A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination relevant comes from the connection with relevant logic. It is shown that the category of sets with partial functions, which is isomorphic to the category of pointed sets, is a category that is relevant, but not cartesian closed.
منابع مشابه
The grounded theory qualitative of the managerial behavior components for formulate of model for Iran's higher education system
The present study is accomplished with the aim of identification of the managerial behavior components for formulate of model for Iran's higher education system, in qualitative type and in grounded theory method- Strauss and Corbin's objectivist approach by appling paradigmatic logic. By using theoretical sampling method, 38 participating people in the study who were expert in relation with the...
متن کاملPartial second-order subdifferentials of -prox-regular functions
Although prox-regular functions in general are nonconvex, they possess properties that one would expect to find in convex or lowerC2 functions. The class of prox-regular functions covers all convex functions, lower C2 functions and strongly amenable functions. At first, these functions have been identified in finite dimension using proximal subdifferential. Then, the definition of prox-regula...
متن کاملThe grounded theory qualitative of the managerial behavior components for formulate of model for Iran's higher education system
The present study is accomplished with the aim of identification of the managerial behavior components for formulate of model for Iran's higher education system, in qualitative type and in grounded theory method- Strauss and Corbin's objectivist approach by appling paradigmatic logic. By using theoretical sampling method, 38 participating people in the study who were expert in relation with the...
متن کاملPartial Recursive Functions and Finality
We seek universal categorical conditions ensuring the representability of all partial recursive functions. In the category Pfn of sets and partial functions, the natural numbers provide both an initial algebra and a final coalgebra for the functor 1 + −. We recount how finality yields closure of the partial functions on natural numbers under Kleene’s μ-recursion scheme. Noting that Pfn is not c...
متن کاملFinite Plate with Circular and Square Hole under Partial Loading
In this paper a general analytical solution is obtained to find stress distribution in a finite elastic plate with a circular or square hole subjected to arbitrary biaxial partial loading using modified boundary condition by assuming plane stress conditions. The method employed is based on solution of circular hole in finite rectangular plate. This plate is mapped to circular ones and the parti...
متن کامل